<?php
/**
 * Created by PhpStorm.
 * User: llk
 * Date: 2016/10/29
 * Time: 10:47
 */

function dump($val)
{

    echo '<pre>';
    var_dump($val);
    echo '</pre>';

}

function getredis()
{
    $redis = new redis();
    $redis ->connect('192.168.23.137','6379');
    return $redis;

}